Gt(ROSA)26Sor<tm1(Stop-Bmi1,EGFP)> targeted mutation 1